Runtime system - PDFSEARCH.IO - Document Search Engine

Runtime system
Results: 126

#	Item
81	Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:37:58 Mathematical logic Formal languages Metalogic Linear temporal logic Temporal logic Interpretation Dynamical system Satisfiability Function Logic Model theory Mathematics
82	Designing a Runtime System for Volunteer Computing David P. Anderson1 Carl Christensen2 Bruce Allen3 1 Add to Reading List Source URL: boinc.berkeley.edu Language: English - Date: 2007-04-16 17:46:01 Bioinformatics Molecular modelling Protein structure Berkeley Open Infrastructure for Network Computing Volunteer computing BOINC client–server technology Climateprediction.net SETI@home Distributed computing Software Computing Concurrent computing
83	Developing Applications with APR Paul Querna [removed] July 21, 2005 Add to Reading List Source URL: www.outoforder.cc Language: English - Date: 2013-12-02 16:55:59 Apache Portable Runtime Novell NetWare Memory pool System software C dynamic memory allocation Operating system Memory management Software Computing
84	QVM: An Efficient Runtime for Detecting Defects in Deployed Systems Matthew Arnold Martin Vechev Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:02 Java BitTorrent X Window System Virtual machine Objective-C Computing Software Cross-platform software
85	A uGNI-based Asynchronous Message-driven Runtime System for Cray Supercomputers with Gemini Interconnect Yanhua Sun, Gengbin Zheng, Laxmikant V. Kal´e Department of Computer Science University of Illinois at Urbana-Cham Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2013-03-12 12:13:19 Message Passing Interface Charm++ Remote direct memory access Computer cluster Message passing Blue Gene InfiniBand Multi-core processor Standard Performance Evaluation Corporation Computing Concurrent computing Parallel computing
86	J Grid Computing[removed]:213–234 DOI[removed]s10723[removed]Runtime and Programming Support for Memory Adaptation in Scientific Applications via Local Disk and Remote Memory Add to Reading List Source URL: www.climatemodeling.org Language: English - Date: 2007-07-30 16:57:03 Computing Virtual memory Hierarchy Memory hierarchy Paging C dynamic memory allocation Operating system Random-access memory CPU cache Computer memory Memory management Computer hardware
87	Runtime Packers: The Hidden Problem? Tom Brosch, Maik Morgenstern AV-Test GmbH (www.av-test.org) Add to Reading List Source URL: www.av-test.org Language: English - Date: 2011-08-07 07:52:49 Computing Ewido Networks Malware Windows Live OneCare Kaspersky Lab Virus Bulletin Computer virus Executable compression UPX Antivirus software System software Software
88	Runtime for Simulation Workflows Project Manager: Prof. Dr. rer. nat. Frank Leymann Project Co-worker: Dipl.-Math. Michael Reiter Motivation Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2011-11-28 04:06:54 Simulation Management Science SHIWA project Kepler scientific workflow system Workflow technology Business Workflow
89	Task Parallelization as a Service A Runtime System for Automatic Shared Task Distribution Luc Bl¨aser HSR University of Applied Sciences Rapperswil IFS Institute for Software Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2015-01-12 08:06:49 Task parallelism Distributed computing Thread pool pattern Multi-core processor Distributed memory Multiprocessing Apache Hadoop Computer cluster Grid computing Concurrent computing Computing Parallel computing
90	US Pricing Small to Medium Systems Development Runtime Add to Reading List Source URL: www.trihedral.com Language: English - Date: 2015-01-02 07:33:52 Application programming interfaces Network management System administration Simple Network Management Protocol SCADA Opc server ODBC Modbus Technology Computing Automation

UPDATE